Petr Jancar: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Calibration of gamma-ray detectors using Gaussian photopeak fitting in the multichannel spectra with a LabVIEW-based digital system

Schlattauer, Leo, Parali, Levent, Pechousek, Jiri, Sabikoglu, Israfil, Celiktas, Cuneyt, Tektas, Gozde, Novak, Petr, Jancar, Ales, Prochazka, Vit

Journal:

European Journal of Physics

Year:

2017

Language:

english

File:

PDF, 2.20 MB

english, 2017

2

Controlled reactive modification of polypropylene with maleic anhydride via solvent-free technique

Kučera, František, Petruš, Josef, Poláček, Petr, Jančář, Josef

Journal:

Polymer Degradation and Stability

Year:

2019

Language:

english

File:

PDF, 1.03 MB

english, 2019

3

Design Procedure of a Topologically Optimized Scooter Frame Part

Jancar, Lukas, Pagac, Marek, Mesicek, Jakub, Stefek, Petr

Journal:

Year:

2020

File:

PDF, 5.78 MB

2020

4

Petri Nets and Regular Processes

Petr Jančar, Javier Esparza, Faron Moller

Journal:

Journal of Computer and System Sciences

Year:

1999

Language:

english

File:

PDF, 364 KB

english, 1999

5

Decidability of a temporal logic problem for Petri nets

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 2.44 MB

english, 1990

6

Undecidability of bisimilarity for Petri nets and some related problems

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.43 MB

english, 1995

7

A note on well quasi-orderings for powersets

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 92 KB

english, 1999

8

Deciding bisimulation-like equivalences with finite-state processes

Petr Jančar, Antonı́n Kučera, Richard Mayr

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 205 KB

english, 2001

9

Nonprimitive recursive complexity and undecidability for Petri net equivalences

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 94 KB

english, 2001

10

Preface: Volume 18.1

Petr Jancar, Mojmir Kretinsky

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 38 KB

english, 1998

11

Bisimilarity of processes with finite-state systems

Petr Jancar, Antonín Kucera

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 27 KB

1997

12

Hardness of equivalence checking for composed finite-state systems

Zdeněk Sawa, Petr Jančar

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 761 KB

english, 2009

13

Forgetting automata and context-free languages

Petr Jančar, František Mráz, Martin Plátek

Journal:

Acta Informatica

Year:

1996

Language:

english

File:

PDF, 716 KB

english, 1996

14

Effect of filler content on the adhesion strength between UD fiber reinforced and particulate filled composites

Petr Polacek, Josef Jancar

Journal:

Composites Science and Technology

Year:

2008

Language:

english

File:

PDF, 955 KB

english, 2008

15

A note on emptiness for alternating finite automata with a one-letter alphabet

Petr Jančar, Zdeněk Sawa

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 118 KB

english, 2007

16

Decidability of Bisimilarity for One-Counter Processes

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 347 KB

english, 2000

17

Bouziane’s transformation of the Petri net reachability problem and incorrectness of the related algorithm

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 124 KB

english, 2008

18

Non-interleaving bisimulation equivalences on Basic Parallel Processes

Sibylle Fröschle, Petr Jančar, Slawomir Lasota, Zdeněk Sawa

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 374 KB

english, 2010

19

Complexity of deciding bisimilarity between normed BPA and normed BPP

Petr Jančar, Martin Kot, Zdeněk Sawa

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 347 KB

english, 2010

20

DP lower bounds for equivalence-checking and model-checking of one-counter automata

Petr Jančar, Antonı́n Kučera, Faron Moller, Zdeněk Sawa

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 304 KB

english, 2004

21

Rheological properties of functionalised thermosensitive copolymers for injectable applications in medicine

Chamradová, Ivana, Vojtová, Lucy, Michlovská, Lenka, Poláček, Petr, Jančář, Josef

Journal:

Chemical Papers

Year:

2012

Language:

english

File:

PDF, 178 KB

english, 2012

22

Biodegradable polyhydroxybutyrate as a polyol for elastomeric polyurethanes

Vojtová, Lucy, Kupka, Vojtěch, Žídek, Jan, Wasserbauer, Jaromír, Sedláček, Petr, Jančář, Josef

Journal:

Chemical Papers

Year:

2012

Language:

english

File:

PDF, 363 KB

english, 2012

23

Bisimulation equivalence and regularity for real-time one-counter automata

Böhm, Stanislav, Göller, Stefan, Jančar, Petr

Journal:

Journal of Computer and System Sciences

Year:

2014

Language:

english

File:

PDF, 611 KB

english, 2014

24

Language equivalence of probabilistic pushdown automata

Forejt, Vojtěch, Jančar, Petr, Kiefer, Stefan, Worrell, James

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 317 KB

english, 2014

25

The shear adhesion strength between the FRC substructure and denture base resin: Effects of FRC architecture, adhesive composition and hydrolytic degradation

Polacek, Petr, Salajkova, Michaela, Jancar, Josef

Journal:

Composites Science and Technology

Year:

2013

Language:

english

File:

PDF, 1009 KB

english, 2013

26

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Decidability of DPDA Language Equivalence via First-Order Grammars

Year:

2012

Language:

english

File:

PDF, 497 KB

english, 2012

27

Radiographic Assessment of Implant Failures of Titanium 3.5 LCP vs. 4.5 LCP Used for Flexible Bridging Osteosynthesis of Large Segmental Femoral Diaphyseal Defects in a Miniature Pig Model

Nečas, Alois, Proks, Pavel, Urbanová, Lucie, Srnec, Robert, Stehlík, Ladislav, Crha, Michal, Raušer, Petr, Plánka, Ladislav, Amler, Evžen, Vojtová, Lucy, Jančář, Josef

Journal:

Acta Veterinaria Brno

Year:

2010

Language:

english

File:

PDF, 777 KB

english, 2010

28

Mesenchymal Stem Cells in Bone Tissue Regeneration and Application to Bone Healing

Crha, Michal, Nečas, Alois, Srnec, Robert, Janovec, Jan, Stehlík, Ladislav, Raušer, Petr, Urbanová, Lucie, Plánka, Ladislav, Jančář, Josef, Amler, Evžen

Journal:

Acta Veterinaria Brno

Year:

2009

Language:

english

File:

PDF, 1.50 MB

english, 2009

29

Comparison of Preventive and Therapeutic Transplantations of Allogeneic Mesenchymal Stem Cells in Healing of the Distal Femoral Growth Plate Cartilage Defects in Miniature Pigs

Plánka, Ladislav, Starý, David, Hlučilová, Jana, Klíma, Jiří, Jančář, Josef, Křen, Leoš, Lorenzová, Jana, Urbanová, Lucie, Crha, Michal, Srnec, Robert, Dvořák, Milan, Gál, Petr, Nečas, Alois

Journal:

Acta Veterinaria Brno

Year:

2009

File:

PDF, 86 KB

2009

30

Healing of Large Segmental Bone Defect after Implantation of Autogenous Cancellous Bone Graft in Comparison to Hydroxyapatite and 0.5% Collagen Scaffold Combined with Mesenchymal Stem Cells

Nečas, Alois, Proks, Pavel, Urbanová, Lucie, Srnec, Robert, Stehlík, Ladislav, Crha, Michal, Raušer, Petr, Plánka, Ladislav, Janovec, Jan, Dvořák, Milan, Amler, Evžen, Vojtová, Lucy, Jančář, Josef

Journal:

Acta Veterinaria Brno

Year:

2010

Language:

english

File:

PDF, 576 KB

english, 2010

31

Hydrolytically Stable Interphase on Alumina and Glass Fibers via Hydrosilylation

Jancar, Josef, Polacek, Petr

Journal:

Composite Interfaces

Year:

2011

Language:

english

File:

PDF, 4.63 MB

english, 2011

32

[ACM Press the 45th annual ACM symposium - Palo Alto, California, USA (2013.06.01-2013.06.04)] Proceedings of the 45th annual ACM symposium on Symposium on theory of computing - STOC '13 - Equivalence of deterministic one-counter automata is NL-complete

Böhm, Stanislav, Göller, Stefan, Jancar, Petr

Year:

2013

Language:

english

File:

PDF, 649 KB

english, 2013

33

Undecidability of bisimilarity by defender's forcing

Jančar, Petr, Srba, Jivří

Journal:

Journal of the ACM

Year:

2008

Language:

english

File:

PDF, 235 KB

english, 2008

34

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME

Czerwinski, Wojciech, Jancar, Petr

Year:

2015

Language:

english

File:

PDF, 281 KB

english, 2015

35

Rheological Behavior of Polystyrene-Based Nanocomposite Suspensions under LAOS

Lepcio, Petr, Ondreas, Frantisek, Jancar, Josef

Journal:

Materials Science Forum

Year:

2016

Language:

english

File:

PDF, 415 KB

english, 2016

36

Equivalence-checking on infinite-state systems: Techniques and results

KUCERA, ANTONÍN, JANCAR, PETR

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 339 KB

english, 2006

37

[IEEE 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - Torun, Poland (2016.6.19-2016.6.24)] 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - An Approach to Verification of MPI Applications Defined in a High-Level Model

Meca, Ondrej, Bohm, Stanislav, Behalek, Marek, Jancar, Petr

Year:

2016

Language:

english

File:

PDF, 281 KB

english, 2016

38

Incidence, treatment strategies and outcomes of acute coronary syndrome with and without ongoing myocardial ischaemia: results from the CZECH-3 registry

Tousek, Petr, Staskova, Klara, Mala, Anna, Sluka, Martin, Vodzinska, Alexandra, Jancar, Radek, Maluskova, Denisa, Jarkovsky, Jiri, Widimsky, Petr

Journal:

European Heart Journal Acute Cardiovascular Care

Year:

2017

Language:

english

File:

PDF, 506 KB

english, 2017

39

Bulk Polymer Nanocomposites with Preparation Protocol Governed Nanostructure: The Origin and Properties of Aggregates and Polymer Bound Clusters

Lepcio, Petr, Ondreas, Frantisek, Zarybnicka, Klara, Zboncak, Marek, Caha, Ondrej, Jancar, Josef

Journal:

Year:

2018

Language:

english

File:

PDF, 2.79 MB

english, 2018

40

The development of a silicone vaginal ring with a prostaglandin analogue for potential use in the treatment of canine reproductive disorders

Nováková Tkadlečková, Veronika, Vysloužil, Jakub, Kubová, Kateřina, Elbl, Jan, Bučková, Darja, Muselík, Jan, Vetchý, David, Novotný, Robert, Proks, Pavel, Jančář, Josef, Poláček, Petr

Journal:

Pharmaceutical Development and Technology

Year:

2019

Language:

english

File:

PDF, 1.11 MB

english, 2019

41

Structural liveness of Petri nets is ExpSpace-hard and decidable

Jančar, Petr, Purser, David

Journal:

Acta Informatica

Year:

2019

Language:

english

File:

PDF, 502 KB

english, 2019

42

Effect of Nanoparticle Organization on Molecular Mobility and Mechanical Properties of Polymer Nanocomposites

Ondreas, Frantisek, Lepcio, Petr, Zboncak, Marek, Zarybnicka, Klara, Govaert, Leon E., Jancar, Josef

Journal:

Year:

2019

Language:

english

File:

PDF, 1.50 MB

english, 2019

43

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete

Jancar, Petr, Schmitz, Sylvain

Year:

2019

Language:

english

File:

PDF, 443 KB

english, 2019

44

Translation of segment scale stiffening into macroscale reinforcement in polymer nanocomposites

Zboncak, Marek, Ondreas, Frantisek, Uhlir, Vojtech, Lepcio, Petr, Michalicka, Jan, Jancar, Josef

Journal:

Polymer Engineering & Science

Year:

2019

File:

PDF, 3.38 MB

2019

45

Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence

Journal:

Journal of Computer and System Sciences

Year:

2019

File:

PDF, 1.58 MB

2019

46

Thermodynamic Parameters Controlling Nanoparticle Spatial Packing in Polymer Solutions

Zarybnicka, Klara, Ondreas, Frantisek, Lepcio, Petr, Kalina, Michal, Zboncak, Marek, Jancar, Josef

Journal:

Year:

2020

File:

PDF, 4.36 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски